You may perhaps find what you require at Proof trees and boxes in TeX Stable domain theory Proofs and Types (Girard) or my home page.
Alternatively, you can search this site using Google: